Area of a Triangle Demonstration

midpoints

perpendicular

j = false
Rotate = 0 rad (slider from 0 to 3.141592653589793, step 0.017453292519943295)
a = false
A = Point(b)
B = Point(b)
C = (9.396260971320642, 4.745926074526144)
c = Line(C, b)
d = Segment(A, C)
e = Segment(C, B)
f = OrthogonalLine(C, b)
D = Intersect(b, f)
g = Segment(C, D)
h = Segment(A, B)
i = Segment(B, D)
k = Segment(A, D)
E = Midpoint(d)
F = Midpoint(e)
poly1, b_1, c_1, a_1 = Polygon(C, A, B)
poly2, b_2, c_2, d_1 = Polygon(C, D, B)
poly3, a_2, c_3, d_2 = Polygon(C, D, A)
C' = Rotate(C, Rotate, F)
D' = Rotate(D, Rotate, F)
B' = Rotate(B, Rotate, F)
poly2', b', c', d' = Polygon(C', D', B')
C'_1 = Rotate(C, -Rotate, E)
D'_1 = Rotate(D, -Rotate, E)
A' = Rotate(A, -Rotate, E)
poly3', a', c'_1, d'_1 = Polygon(C'_1, D'_1, A')
l = Segment(D'_1, A')
m = Segment(A', C'_1)
n = Segment(C'_1, D'_1)
p = Segment(B', D')
q = Segment(D', C')
r = Segment(C', B')